H/W-S/W Co-Verification in ATM
نویسنده
چکیده
This paper presents a verification strategy for the hardware-software interface of a large ATM switch. The complexity of such a system and the requirements are discussed. A modeling strategy based on software emulation is presented which will allow for the functional verification of the interface prior to lab samples being available, resulting in reduced system integration times.
منابع مشابه
PREPARATION AND SINTERING OF W-20%Wt Cu COMPOSITE POWDERS PRODUCED BY CO-PRECIPITATION METHOD
Abstract: materials can be fabricated by sintering of W-Cu composite powders. In this research W-20%wt Cu composite powderswas synthesized via a co-precipitation method. Precipitate obtained from a mixture of copper nitrate and ammoniumparatungstate (APT) in distilled water contained W-Cu compounds. This precipitate was washed, dried and calcinedat 550 of dried precipitate powder was determined...
متن کاملCOMPARISON OF ELECTRODEPOSITION ASPECTS AND CHARACTERISTICS OFNi-WAND Co-WALLOYNANOCRYSTALLINE COATINGS
Abstract: current densities. Electrochemical impedance spectroscopy (EIS) results showed that the codeposition mechanism oftungsten in Ni-W deposition is the reduction of tungsten oxide which changed to the reduction of tungsten-containingion complexes at higher current densities. In Co-W electrodeposition, the tungsten codeposition takes place viareduction of tungsten oxide, although, the role...
متن کاملThermodynamic analysis of nanocrystalline solid solution formation in the W-Co-Si ternary system by mechanical alloying
Co3W2Si intermetallic compound was synthesized by mechanical alloying (MA) of W, Co and Si elemental powder mixtures. The phase composition of the milled products was evaluated by X-ray diffraction (XRD) analysis. Morphological evolutions were characterized by transmission electron microscopy (TEM). The results showed that high energy ball milling performed in the present work led to the format...
متن کاملDecomposition of H*-Algebra Valued Negative Definite Functions on Topological *-Semigroups
In the present paper, among other results, a decomposition formula is given for the w-bounded continuous negative definite functions of a topological *-semigroup S with a weight function w into a proper H*-algebra A in terms of w-bounded continuous positive definite A-valued functions on S. A generalization of a well-known result of K. Harzallah is obtained. An earlier conjecture of the author ...
متن کاملCRYSTALLOGRAPHIC, MORPHOLOGICAL AND W-H MODELS INVESTIGATIONS ON Mn SUBSTITUTED ZnO NANOCRYSTALS
Mn doped ZnO nanocrystals were prepared by co-precipitation route sintered at 450 °C temperature. XRD results indicate that the samples having hexagonal (wurtzite) structure. From X-ray data it is found that the lattice parameters increase with increasing Mn concentration. The X-ray density decreases with increasing Mn concentration of Zn 1-x Mnx O nanocrystals. It indicates that the Mn...
متن کامل